Sprite 1984 - 1993/Sprite 1984 - 1993.iso/lib/tex/inputs/pslatex/h-red.pl

Text File | 1991-05-20 | 15KB | 841 lines

(DESIGNSIZE R 10.0)
(COMMENT DESIGNSIZE IS IN POINTS)
(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE)
(CODINGSCHEME AdobeStandardEncoding)
(FAMILY Helvetica)
(FONTDIMEN
   (SLANT R 0.000000)
   (SPACE R 0.267300)
   (STRETCH R 0.133650)
   (SHRINK R 0.089100)
   (XHEIGHT R 0.459000)
   (QUAD R 1.0)
   (EXTRASPACE R 0.089100)
   )
(CHARACTER O 40
   (CHARWD R 0.243000)
   )
(CHARACTER O 41
   (CHARWD R 0.243000)
   (CHARHT R 0.638000)
   )
(CHARACTER O 42
   (CHARWD R 0.311000)
   (CHARHT R 0.619000)
   )
(CHARACTER O 43
   (CHARWD R 0.486000)
   (CHARHT R 0.611000)
   (CHARDP R 0.017000)
   )
(CHARACTER O 44
   (CHARWD R 0.486000)
   (CHARHT R 0.674000)
   (CHARDP R 0.109000)
   )
(CHARACTER O 45
   (CHARWD R 0.778000)
   (CHARHT R 0.619000)
   (CHARDP R 0.018000)
   )
(CHARACTER O 46
   (CHARWD R 0.584000)
   (CHARHT R 0.621000)
   (CHARDP R 0.020000)
   )
(CHARACTER O 47
   (CHARWD R 0.194000)
   (CHARHT R 0.619000)
   )
(CHARACTER O 50
   (CHARWD R 0.291000)
   (CHARHT R 0.638000)
   (CHARDP R 0.186000)
   )
(CHARACTER O 51
   (CHARWD R 0.291000)
   (CHARHT R 0.638000)
   (CHARDP R 0.186000)
   )
(CHARACTER O 52
   (CHARWD R 0.340000)
   (CHARHT R 0.647000)
   )
(CHARACTER O 53
   (CHARWD R 0.511000)
   (CHARHT R 0.415000)
   (CHARDP R 0.009000)
   )
(CHARACTER O 54
   (CHARWD R 0.243000)
   (CHARHT R 0.091000)
   (CHARDP R 0.131000)
   )
(CHARACTER O 55
   (CHARWD R 0.291000)
   (CHARHT R 0.274000)
   )
(CHARACTER O 56
   (CHARWD R 0.243000)
   (CHARHT R 0.091000)
   )
(CHARACTER O 57
   (CHARWD R 0.243000)
   (CHARHT R 0.619000)
   (CHARDP R 0.018000)
   (CHARIC R 0.006000)
   )
(CHARACTER C 0
   (CHARWD R 0.487000)
   (CHARHT R 0.620000)
   (CHARDP R 0.020000)
   )
(CHARACTER C 1
   (CHARWD R 0.486000)
   (CHARHT R 0.620000)
   )
(CHARACTER C 2
   (CHARWD R 0.486000)
   (CHARHT R 0.621000)
   )
(CHARACTER C 3
   (CHARWD R 0.486000)
   (CHARHT R 0.620000)
   (CHARDP R 0.020000)
   )
(CHARACTER C 4
   (CHARWD R 0.486000)
   (CHARHT R 0.620000)
   )
(CHARACTER C 5
   (CHARWD R 0.486000)
   (CHARHT R 0.620000)
   (CHARDP R 0.020000)
   )
(CHARACTER C 6
   (CHARWD R 0.486000)
   (CHARHT R 0.620000)
   (CHARDP R 0.020000)
   )
(CHARACTER C 7
   (CHARWD R 0.486000)
   (CHARHT R 0.620000)
   )
(CHARACTER C 8
   (CHARWD R 0.486000)
   (CHARHT R 0.620000)
   (CHARDP R 0.020000)
   )
(CHARACTER C 9
   (CHARWD R 0.486000)
   (CHARHT R 0.620000)
   (CHARDP R 0.020000)
   )
(CHARACTER O 72
   (CHARWD R 0.243000)
   (CHARHT R 0.459000)
   )
(CHARACTER O 73
   (CHARWD R 0.243000)
   (CHARHT R 0.451000)
   (CHARDP R 0.131000)
   )
(CHARACTER O 74
   (CHARWD R 0.511000)
   (CHARHT R 0.415000)
   (CHARDP R 0.009000)
   )
(CHARACTER O 75
   (CHARWD R 0.511000)
   (CHARHT R 0.308000)
   )
(CHARACTER O 76
   (CHARWD R 0.511000)
   (CHARHT R 0.415000)
   (CHARDP R 0.009000)
   )
(CHARACTER O 77
   (CHARWD R 0.486000)
   (CHARHT R 0.646000)
   )
(CHARACTER O 100
   (CHARWD R 0.888000)
   (CHARHT R 0.645000)
   (CHARDP R 0.128000)
   )
(CHARACTER C A
   (CHARWD R 0.584000)
   (CHARHT R 0.638000)
   )
(CHARACTER C B
   (CHARWD R 0.584000)
   (CHARHT R 0.638000)
   )
(CHARACTER C C
   (CHARWD R 0.632000)
   (CHARHT R 0.649000)
   (CHARDP R 0.020000)
   )
(CHARACTER C D
   (CHARWD R 0.632000)
   (CHARHT R 0.638000)
   )
(CHARACTER C E
   (CHARWD R 0.584000)
   (CHARHT R 0.638000)
   )
(CHARACTER C F
   (CHARWD R 0.535000)
   (CHARHT R 0.638000)
   )
(CHARACTER C G
   (CHARWD R 0.681000)
   (CHARHT R 0.649000)
   (CHARDP R 0.020000)
   )
(CHARACTER C H
   (CHARWD R 0.632000)
   (CHARHT R 0.638000)
   )
(CHARACTER C I
   (CHARWD R 0.243000)
   (CHARHT R 0.638000)
   )
(CHARACTER C J
   (CHARWD R 0.438000)
   (CHARHT R 0.638000)
   (CHARDP R 0.022000)
   )
(CHARACTER C K
   (CHARWD R 0.584000)
   (CHARHT R 0.638000)
   )
(CHARACTER C L
   (CHARWD R 0.486000)
   (CHARHT R 0.638000)
   )
(CHARACTER C M
   (CHARWD R 0.729000)
   (CHARHT R 0.638000)
   )
(CHARACTER C N
   (CHARWD R 0.632000)
   (CHARHT R 0.638000)
   )
(CHARACTER C O
   (CHARWD R 0.681000)
   (CHARHT R 0.649000)
   (CHARDP R 0.020000)
   )
(CHARACTER C P
   (CHARWD R 0.584000)
   (CHARHT R 0.639000)
   )
(CHARACTER C Q
   (CHARWD R 0.681000)
   (CHARHT R 0.649000)
   (CHARDP R 0.051000)
   )
(CHARACTER C R
   (CHARWD R 0.632000)
   (CHARHT R 0.638000)
   )
(CHARACTER C S
   (CHARWD R 0.584000)
   (CHARHT R 0.648000)
   (CHARDP R 0.020000)
   )
(CHARACTER C T
   (CHARWD R 0.535000)
   (CHARHT R 0.638000)
   )
(CHARACTER C U
   (CHARWD R 0.632000)
   (CHARHT R 0.638000)
   (CHARDP R 0.020000)
   )
(CHARACTER C V
   (CHARWD R 0.584000)
   (CHARHT R 0.638000)
   )
(CHARACTER C W
   (CHARWD R 0.826000)
   (CHARHT R 0.638000)
   )
(CHARACTER C X
   (CHARWD R 0.584000)
   (CHARHT R 0.638000)
   )
(CHARACTER C Y
   (CHARWD R 0.584000)
   (CHARHT R 0.638000)
   )
(CHARACTER C Z
   (CHARWD R 0.535000)
   (CHARHT R 0.638000)
   )
(CHARACTER O 133
   (CHARWD R 0.243000)
   (CHARHT R 0.638000)
   (CHARDP R 0.187000)
   )
(CHARACTER O 134
   (CHARWD R 0.243000)
   (CHARHT R 0.638000)
   (CHARDP R 0.017000)
   (CHARIC R 0.005000)
   )
(CHARACTER O 135
   (CHARWD R 0.243000)
   (CHARHT R 0.638000)
   (CHARDP R 0.188000)
   )
(CHARACTER O 136
   (CHARWD R 0.410000)
   (CHARHT R 0.624000)
   )
(CHARACTER O 137
   (CHARWD R 0.486000)
   (CHARDP R 0.153000)
   (CHARIC R 0.020000)
   )
(CHARACTER O 140
   (CHARWD R 0.194000)
   (CHARHT R 0.619000)
   )
(CHARACTER C a
   (CHARWD R 0.486000)
   (CHARHT R 0.473000)
   (CHARDP R 0.020000)
   )
(CHARACTER C b
   (CHARWD R 0.486000)
   (CHARHT R 0.638000)
   (CHARDP R 0.020000)
   )
(CHARACTER C c
   (CHARWD R 0.438000)
   (CHARHT R 0.473000)
   (CHARDP R 0.020000)
   )
(CHARACTER C d
   (CHARWD R 0.487000)
   (CHARHT R 0.638000)
   (CHARDP R 0.020000)
   )
(CHARACTER C e
   (CHARWD R 0.486000)
   (CHARHT R 0.473000)
   (CHARDP R 0.020000)
   )
(CHARACTER C f
   (CHARWD R 0.243000)
   (CHARHT R 0.641000)
   )
(CHARACTER C g
   (CHARWD R 0.487000)
   (CHARHT R 0.473000)
   (CHARDP R 0.193000)
   )
(CHARACTER C h
   (CHARWD R 0.486000)
   (CHARHT R 0.638000)
   )
(CHARACTER C i
   (CHARWD R 0.194000)
   (CHARHT R 0.638000)
   )
(CHARACTER C j
   (CHARWD R 0.194000)
   (CHARHT R 0.638000)
   (CHARDP R 0.193000)
   )
(CHARACTER C k
   (CHARWD R 0.438000)
   (CHARHT R 0.638000)
   (CHARIC R 0.001000)
   )
(CHARACTER C l
   (CHARWD R 0.194000)
   (CHARHT R 0.638000)
   )
(CHARACTER C m
   (CHARWD R 0.729000)
   (CHARHT R 0.473000)
   )
(CHARACTER C n
   (CHARWD R 0.487000)
   (CHARHT R 0.473000)
   )
(CHARACTER C o
   (CHARWD R 0.486000)
   (CHARHT R 0.473000)
   (CHARDP R 0.020000)
   )
(CHARACTER C p
   (CHARWD R 0.486000)
   (CHARHT R 0.473000)
   (CHARDP R 0.192000)
   )
(CHARACTER C q
   (CHARWD R 0.486000)
   (CHARHT R 0.473000)
   (CHARDP R 0.192000)
   )
(CHARACTER C r
   (CHARWD R 0.291000)
   (CHARHT R 0.473000)
   )
(CHARACTER C s
   (CHARWD R 0.438000)
   (CHARHT R 0.473000)
   (CHARDP R 0.020000)
   )
(CHARACTER C t
   (CHARWD R 0.243000)
   (CHARHT R 0.584000)
   (CHARDP R 0.021000)
   )
(CHARACTER C u
   (CHARWD R 0.487000)
   (CHARHT R 0.459000)
   (CHARDP R 0.020000)
   )
(CHARACTER C v
   (CHARWD R 0.438000)
   (CHARHT R 0.459000)
   )
(CHARACTER C w
   (CHARWD R 0.632000)
   (CHARHT R 0.459000)
   )
(CHARACTER C x
   (CHARWD R 0.437000)
   (CHARHT R 0.459000)
   )
(CHARACTER C y
   (CHARWD R 0.438000)
   (CHARHT R 0.459000)
   (CHARDP R 0.192000)
   )
(CHARACTER C z
   (CHARWD R 0.438000)
   (CHARHT R 0.459000)
   )
(CHARACTER O 173
   (CHARWD R 0.292000)
   (CHARHT R 0.640000)
   (CHARDP R 0.187000)
   )
(CHARACTER O 174
   (CHARWD R 0.228000)
   (CHARHT R 0.638000)
   (CHARDP R 0.188000)
   )
(CHARACTER O 175
   (CHARWD R 0.292000)
   (CHARHT R 0.640000)
   (CHARDP R 0.187000)
   )
(CHARACTER O 176
   (CHARWD R 0.511000)
   (CHARHT R 0.383000)
   )
(CHARACTER O 241
   (CHARWD R 0.291000)
   (CHARHT R 0.459000)
   (CHARDP R 0.187000)
   )
(CHARACTER O 242
   (CHARWD R 0.486000)
   (CHARHT R 0.550000)
   (CHARDP R 0.105000)
   )
(CHARACTER O 243
   (CHARWD R 0.486000)
   (CHARHT R 0.635000)
   (CHARDP R 0.019000)
   )
(CHARACTER O 244
   (CHARWD R 0.146000)
   (CHARHT R 0.619000)
   (CHARDP R 0.018000)
   (CHARIC R 0.148000)
   )
(CHARACTER O 245
   (CHARWD R 0.487000)
   (CHARHT R 0.621000)
   )
(CHARACTER O 246
   (CHARWD R 0.486000)
   (CHARHT R 0.649000)
   (CHARDP R 0.188000)
   )
(CHARACTER O 247
   (CHARWD R 0.486000)
   (CHARHT R 0.638000)
   (CHARDP R 0.188000)
   )
(CHARACTER O 250
   (CHARWD R 0.486000)
   (CHARHT R 0.485000)
   )
(CHARACTER O 251
   (CHARWD R 0.167000)
   (CHARHT R 0.619000)
   )
(CHARACTER O 252
   (CHARWD R 0.291000)
   (CHARHT R 0.619000)
   )
(CHARACTER O 253
   (CHARWD R 0.486000)
   (CHARHT R 0.383000)
   )
(CHARACTER O 254
   (CHARWD R 0.291000)
   (CHARHT R 0.382000)
   )
(CHARACTER O 255
   (CHARWD R 0.291000)
   (CHARHT R 0.382000)
   )
(CHARACTER O 256
   (CHARWD R 0.438000)
   (CHARHT R 0.641000)
   )
(CHARACTER O 257
   (CHARWD R 0.438000)
   (CHARHT R 0.641000)
   )
(CHARACTER O 261
   (CHARWD R 0.487000)
   (CHARHT R 0.274000)
   (CHARIC R 0.004000)
   )
(CHARACTER O 262
   (CHARWD R 0.486000)
   (CHARHT R 0.621000)
   (CHARDP R 0.156000)
   )
(CHARACTER O 263
   (CHARWD R 0.486000)
   (CHARHT R 0.621000)
   (CHARDP R 0.156000)
   )
(CHARACTER O 264
   (CHARWD R 0.243000)
   (CHARHT R 0.387000)
   )
(CHARACTER O 266
   (CHARWD R 0.470000)
   (CHARHT R 0.638000)
   (CHARDP R 0.156000)
   )
(CHARACTER O 267
   (CHARWD R 0.306000)
   (CHARHT R 0.411000)
   )
(CHARACTER O 270
   (CHARWD R 0.194000)
   (CHARHT R 0.090000)
   (CHARDP R 0.113000)
   )
(CHARACTER O 271
   (CHARWD R 0.291000)
   (CHARHT R 0.090000)
   (CHARDP R 0.113000)
   )
(CHARACTER O 272
   (CHARWD R 0.291000)
   (CHARHT R 0.619000)
   )
(CHARACTER O 273
   (CHARWD R 0.486000)
   (CHARHT R 0.383000)
   )
(CHARACTER O 274
   (CHARWD R 0.875000)
   (CHARHT R 0.091000)
   )
(CHARACTER O 275
   (CHARWD R 0.875000)
   (CHARHT R 0.648000)
   (CHARDP R 0.018000)
   )
(CHARACTER O 277
   (CHARWD R 0.535000)
   (CHARHT R 0.459000)
   (CHARDP R 0.186000)
   )
(CHARACTER O 301
   (CHARWD R 0.291000)
   (CHARHT R 0.647000)
   )
(CHARACTER O 302
   (CHARWD R 0.291000)
   (CHARHT R 0.647000)
   )
(CHARACTER O 303
   (CHARWD R 0.291000)
   (CHARHT R 0.648000)
   )
(CHARACTER O 304
   (CHARWD R 0.291000)
   (CHARHT R 0.627000)
   )
(CHARACTER O 305
   (CHARWD R 0.291000)
   (CHARHT R 0.607000)
   )
(CHARACTER O 306
   (CHARWD R 0.291000)
   (CHARHT R 0.638000)
   )
(CHARACTER O 307
   (CHARWD R 0.291000)
   (CHARHT R 0.620000)
   )
(CHARACTER O 310
   (CHARWD R 0.291000)
   (CHARHT R 0.619000)
   )
(CHARACTER O 312
   (CHARWD R 0.291000)
   (CHARHT R 0.649000)
   )
(CHARACTER O 313
   (CHARWD R 0.291000)
   (CHARDP R 0.188000)
   )
(CHARACTER O 315
   (CHARWD R 0.291000)
   (CHARHT R 0.648000)
   (CHARIC R 0.013000)
   )
(CHARACTER O 316
   (CHARWD R 0.291000)
   (CHARHT R 0.013000)
   (CHARDP R 0.165000)
   )
(CHARACTER O 317
   (CHARWD R 0.291000)
   (CHARHT R 0.647000)
   )
(CHARACTER O 320
   (CHARWD R 0.875000)
   (CHARHT R 0.274000)
   (CHARIC R 0.001000)
   )
(CHARACTER O 341
   (CHARWD R 0.875000)
   (CHARHT R 0.638000)
   )
(CHARACTER O 343
   (CHARWD R 0.324000)
   (CHARHT R 0.648000)
   )
(CHARACTER O 350
   (CHARWD R 0.486000)
   (CHARHT R 0.638000)
   )
(CHARACTER O 351
   (CHARWD R 0.681000)
   (CHARHT R 0.649000)
   (CHARDP R 0.020000)
   )
(CHARACTER O 352
   (CHARWD R 0.875000)
   (CHARHT R 0.647000)
   (CHARDP R 0.018000)
   )
(CHARACTER O 353
   (CHARWD R 0.319000)
   (CHARHT R 0.649000)
   )
(CHARACTER O 361
   (CHARWD R 0.778000)
   (CHARHT R 0.478000)
   (CHARDP R 0.018000)
   )
(CHARACTER O 365
   (CHARWD R 0.243000)
   (CHARHT R 0.459000)
   )
(CHARACTER O 370
   (CHARWD R 0.194000)
   (CHARHT R 0.638000)
   )
(CHARACTER O 371
   (CHARWD R 0.535000)
   (CHARHT R 0.480000)
   (CHARDP R 0.024000)
   )
(CHARACTER O 372
   (CHARWD R 0.826000)
   (CHARHT R 0.473000)
   (CHARDP R 0.019000)
   )
(CHARACTER O 373
   (CHARWD R 0.535000)
   (CHARHT R 0.638000)
   (CHARDP R 0.018000)
   )
(LIGTABLE
   (LABEL O 101)
   (KRN O 171 R -0.016000)
   (KRN O 167 R -0.016000)
   (KRN O 166 R -0.016000)
   (KRN O 40 R -0.048000)
   (KRN O 47 R -0.065000)
   (KRN O 131 R -0.065000)
   (KRN O 127 R -0.032000)
   (KRN O 126 R -0.065000)
   (KRN O 124 R -0.065000)
   (STOP)
   (LABEL O 106)
   (KRN O 56 R -0.097000)
   (KRN O 54 R -0.097000)
   (KRN O 101 R -0.048000)
   (STOP)
   (LABEL O 114)
   (KRN O 171 R -0.032000)
   (KRN O 40 R -0.032000)
   (KRN O 47 R -0.048000)
   (KRN O 131 R -0.065000)
   (KRN O 127 R -0.065000)
   (KRN O 126 R -0.065000)
   (KRN O 124 R -0.065000)
   (STOP)
   (LABEL O 120)
   (KRN O 40 R -0.016000)
   (KRN O 56 R -0.113000)
   (KRN O 54 R -0.113000)
   (KRN O 101 R -0.065000)
   (STOP)
   (LABEL O 122)
   (KRN O 131 R -0.016000)
   (KRN O 127 R -0.016000)
   (KRN O 126 R -0.016000)
   (KRN O 124 R -0.016000)
   (STOP)
   (LABEL O 124)
   (KRN O 171 R -0.048000)
   (KRN O 167 R -0.048000)
   (KRN O 165 R -0.032000)
   (KRN O 40 R -0.016000)
   (KRN O 73 R -0.097000)
   (KRN O 163 R -0.097000)
   (KRN O 162 R -0.032000)
   (KRN O 56 R -0.097000)
   (KRN O 157 R -0.097000)
   (KRN O 151 R -0.032000)
   (KRN O 55 R -0.048000)
   (KRN O 145 R -0.097000)
   (KRN O 54 R -0.097000)
   (KRN O 72 R -0.097000)
   (KRN O 143 R -0.097000)
   (KRN O 141 R -0.097000)
   (KRN O 117 R -0.016000)
   (KRN O 101 R -0.065000)
   (STOP)
   (LABEL O 126)
   (KRN O 171 R -0.032000)
   (KRN O 165 R -0.032000)
   (KRN O 73 R -0.032000)
   (KRN O 162 R -0.032000)
   (KRN O 56 R -0.081000)
   (KRN O 157 R -0.048000)
   (KRN O 151 R -0.016000)
   (KRN O 55 R -0.048000)
   (KRN O 145 R -0.048000)
   (KRN O 54 R -0.081000)
   (KRN O 72 R -0.032000)
   (KRN O 141 R -0.065000)
   (KRN O 101 R -0.065000)
   (STOP)
   (LABEL O 127)
   (KRN O 171 R -0.008000)
   (KRN O 165 R -0.016000)
   (KRN O 73 R -0.016000)
   (KRN O 162 R -0.016000)
   (KRN O 56 R -0.048000)
   (KRN O 157 R -0.016000)
   (KRN O 151 R 0.000000)
   (KRN O 55 R -0.016000)
   (KRN O 145 R -0.016000)
   (KRN O 54 R -0.048000)
   (KRN O 72 R -0.016000)
   (KRN O 141 R -0.032000)
   (KRN O 101 R -0.032000)
   (STOP)
   (LABEL O 131)
   (KRN O 166 R -0.048000)
   (KRN O 165 R -0.048000)
   (KRN O 40 R -0.016000)
   (KRN O 73 R -0.057000)
   (KRN O 161 R -0.081000)
   (KRN O 56 R -0.113000)
   (KRN O 160 R -0.065000)
   (KRN O 157 R -0.081000)
   (KRN O 151 R -0.032000)
   (KRN O 55 R -0.081000)
   (KRN O 145 R -0.081000)
   (KRN O 54 R -0.113000)
   (KRN O 72 R -0.048000)
   (KRN O 141 R -0.065000)
   (KRN O 101 R -0.065000)
   (STOP)
   (LABEL O 146)
   (LIG C i O 256)
   (LIG C l O 257)
   (KRN O 47 R 0.015000)
   (KRN O 146 R -0.016000)
   (STOP)
   (LABEL O 61)
   (KRN O 61 R -0.065000)
   (STOP)
   (LABEL O 47)
   (LIG O 47 O 272)
   (KRN O 40 R -0.032000)
   (KRN O 163 R -0.016000)
   (STOP)
   (LABEL O 162)
   (KRN O 47 R 0.031000)
   (KRN O 56 R -0.048000)
   (KRN O 54 R -0.048000)
   (STOP)
   (LABEL O 40)
   (KRN O 131 R -0.016000)
   (KRN O 124 R -0.016000)
   (KRN O 101 R -0.048000)
   (STOP)
   (LABEL O 166)
   (KRN O 56 R -0.065000)
   (KRN O 54 R -0.065000)
   (STOP)
   (LABEL O 167)
   (KRN O 56 R -0.048000)
   (KRN O 54 R -0.048000)
   (STOP)
   (LABEL O 171)
   (KRN O 56 R -0.065000)
   (KRN O 54 R -0.065000)
   (STOP)
   (LABEL O 41)
   (LIG O 140 O 241)
   (STOP)
   (LABEL O 77)
   (LIG O 140 O 277)
   (STOP)
   (LABEL O 55)
   (LIG O 55 O 261)
   (STOP)
   (LABEL O 261)
   (LIG O 55 O 320)
   (STOP)
   (LABEL O 140)
   (LIG O 140 O 252)
   (STOP)
   )